Unified Syntax for Abstract State Machines
نویسندگان
چکیده
The paper presents our efforts in defining UASM, a unified syntax for Abstract State Machines (ASMs), based on the syntaxes of two of the main ASM frameworks, CoreASM and ASMETA, which have been adapted to accept UASM as input syntax of all their validation and
منابع مشابه
Describing the Syntax and Semantics of UML Statecharts in a Heterogeneous Modelling Environment
In this paper UML statechart diagrams are used as an example of a generic approach to integrating a visual language in a heterogeneous modelling and simulation environment. A system represented in a visual language is syntactically defined as an attributed graph, with well-formedness rules specified by a set of first-order predicates over the abstract syntax of the graph. The language semantics...
متن کاملUsing Abstract State Machines to Support UML Model Instantiation Checking
UML is defined in terms of the four-level modeling architecture. The UML metamodel consists of informal description, class diagrams which are used to give the abstract syntax, and the well-formedness rules given in OCL. Furthermore, class diagrams have played an important role in software development because they provide basic information about a software system. In this paper, we propose a new...
متن کاملOn formalizing UML and OCL features and their employment to runtime verification
Model-driven development (MDD) has been identified as a promising approach for developing software. By using abstract models of a system and by generating parts of the system out of these models, one tries to improve the efficiency of the overall development process and the quality of the resulting software. In the context of MDD the Unified Modeling Language (UML) and its related textual Objec...
متن کاملMetamodelling Behavioural Aspects: the Case of the UML State Machines
The “object-oriented meta-modeling” seems currently to be one of the most promising approach to the “precise” definition of UML. Essentially this means using a kernel object-oriented visual notation to define UML. This has proved itself to be an intuitive way of defining the abstract syntax of UML. For what concerns the “static part”, the initial work of the pUML group seems to confirm that the...
متن کاملActivity-Driven Synthesis of State Machines
The synthesis of object behaviour from scenarios is a well-known and important issue in the transition from system analysis to system design. We describe a model transformation procedure from UML 2.0 interactions into UML 2.0 state machines that focuses, in contrast to existing approaches, on standard synchronous operation calls where the sender of a message waits until the receiver object has ...
متن کامل